Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
961	© 2002 Murray Turoff and Harold A. Linstone III.A. Introduction HAROLD A. LINSTONE and MURRAY TUROFF In this chapter we sample the rich menu of applications. The purposes of the Delphis are as varied as the users. Seve Add to Reading List Source URL: is.njit.edu Language: English - Date: 2002-10-15 12:59:28 Prediction Delphi programming language Technology forecasting Futurology Delphi method Estimation theory Harold A. Linstone Embarcadero Delphi Delphi Anticipatory thinking Time Future
962	TIP #411: Improved Channel Introspection via "chan info" _____________________________________________________________________________ TIP: 411 Title: Improved Channel Introspection via "chan info" Version: $Revision: 1. Add to Reading List Source URL: www.tcl.tk Language: English - Date: 2013-05-30 12:17:22 Tcl DICT File system Q Software engineering Computing Programming language theory
963	The reflective Milawa theorem prover is sound (down to the machine code that runs it) Magnus O. Myreen1 and Jared Davis2 1 Computer Laboratory, University of Cambridge, UK Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:06 Lisp programming language Functional languages Model theory ACL2 Automated theorem proving Nqthm First-order logic Common Lisp Lisp Computing Software engineering Computer programming
964	Experience with the SETL Optimizer STEFAN M. FREUDENBERGER, JACOB T. SCHWARTZ, and MICHA SHARIR New York University The structure of an existing optimizer for the very high-level, set theoretically oriented programming Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 10:31:06 Data types Compiler optimizations Compiler construction Type theory Programming language implementation SETL Static single assignment form Mathematical optimization Common subexpression elimination Software engineering Computing Programming language theory
965	invited paper in Proc. of Hybrid Systems: Computation and Control (HSCC) LNCS 3414, Zurich, Switzerland, March 9-11, 2005 Operational Semantics of Hybrid Systems Edward A. Lee and Haiyang Zheng? Center for Hybrid and Emb Add to Reading List Source URL: ptolemy.eecs.berkeley.edu Language: English - Date: 2005-03-05 16:31:49 Models of computation Programming language semantics Logic in computer science Control theory Signal processing Denotational semantics Hybrid system Scicos Operational semantics Theoretical computer science Mathematics Applied mathematics
966	Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Datalog Logic programming Prolog Algorithm Formal methods Software engineering Computing Programming language theory
967	The Ins and Outs of Gradual Type Inference Aseem Rastogi Avik Chaudhuri Stony Brook University Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2012-09-04 23:14:52 Programming language theory Type system Type inference Type safety Variable Closure System F Hindley–Milner Function Software engineering Type theory Computing
968	Christopher Alexander: An Introduction for Object-Oriented Designers Doug Lea SUNY Oswego / NY CASE Center Software developers lament \If only software engi", where X is any Add to Reading List Source URL: gee.cs.oswego.edu Language: English - Date: 2000-01-18 10:00:33 Design Architectural theory Software design patterns Software development Object-oriented programming Pattern language Software design Pattern Christopher Alexander Visual arts Software engineering Architecture
969	An Introduction to Program Verification with the Coq Proof Assistant NII Lectures Series Fr´ed´eric Loulergue Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-11-04 20:56:12 Mathematical logic Proof theory Dependently typed programming Lambda calculus Logic in computer science Coq Curry–Howard correspondence Natural deduction Dependent type Programming language theory Type theory Mathematics
970	FPH: First-class Polymorphism for Haskell Declarative, Constraint-free Type Inference for Impredicative Polymorphism Dimitrios Vytiniotis Stephanie Weirich Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Software engineering Theoretical computer science Lambda calculus Inference Type inference Hindley–Milner System F Greek alphabet Type theory Type systems Programming language theory

UPDATE